ebdb92e2bc2f965855f11b063e3adb4ba58eae94,platform/lang-impl/src/com/intellij/execution/ui/layout/impl/JBRunnerTabs.java,JBRunnerTabs,paintSelectionAndBorder,#Graphics2D#,129
Before Change
selectedShape.labelPath.getMaxX() - selectedShape.labelPath.deltaX(1), selectedShape.labelPath.getMaxY() -
selectedShape.labelPath.deltaY(4)));
}
g2d.setColor(UIUtil.getPanelBackground());
g2d.fillRect(2, selectedShape.labelPath.getMaxY() - 2, selectedShape.path.getMaxX() - 2, 3);
g2d.drawLine(1, selectedShape.labelPath.getMaxY(), 1, getHeight() - 1);
g2d.drawLine(selectedShape.path.getMaxX() - 1, selectedShape.labelPath.getMaxY() - 4,
After Change
if (getSelectedInfo() == null) return;
final boolean dark = UIUtil.isUnderDarcula();
final Color col = dark ? ColorUtil.shift(UIUtil.getListBackground(), 1.6) : Gray._255;
final Color panelBg = dark ? ColorUtil.shift(UIUtil.getPanelBackground(), 1.3) : UIUtil.getPanelBackground();
TabLabel label = getSelectedLabel();
Rectangle r = label.getBounds();